Beyond the Hype: How to Use AI to Actually Increase Your Productivity as a Dev
docker.com·1d
⚡Proof Automation
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·9h
λLambda Encodings
Flag this post
Nano Banana Pro cast a design spell in NotebookLM to explore the legend of Camelot
techradar.com·10h
🏛Digital humanities
Flag this post
Mad drunk on the mead of poetry
blog.zarfhome.com·1d
🧪CBOR Fuzzing
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
A Developer's Guide to Test Case Generation with Genetic Algorithms
🧪Property-Based Testing
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
📄Text Chunking
Flag this post
Show HN: I built a wizard to turn ideas into AI coding agent-ready specs
⚡Proof Automation
Flag this post
AI Wins and Losses
dowski.com·1d
🔄Language Evolution
Flag this post
I Set A Trap To Catch My Students Cheating With AI. The Results Were Shocking.
huffpost.com·23h
🔲Cellular Automata
Flag this post
Pitch Multiplication (2017)
🎼Audio Lambda Calculus
Flag this post
AI and the ironies of automation - Part 1
ufried.com·2d
⚡Proof Automation
Flag this post
Why Load Tests Lie: Harsh Truth About AI Agent Performance
thenewstack.io·1d
🔍Concolic Testing
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·5h
🌀Brotli Internals
Flag this post
Loading...Loading more...